Thermal Modelling Fo the Suboceanic Lithospheric Flow
نویسندگان
چکیده
منابع مشابه
Inference in the FO(C) Modelling Language
Recently, FO(C), the integration of C-LOG with classical logic, was introduced as a knowledge representation language. Up to this point, no systems exist that perform inference on FO(C), and very little is known about properties of inference in FO(C). In this paper, we study both of the above problems. We define normal forms for FO(C), one of which corresponds to FO(ID). We define transformatio...
متن کاملModelling Bidispersive Local Thermal Non-Equilibrium Flow
In this work, we present a system of equations which describes non-isothermal flow in a bidispersive porous medium under conditions of local thermal non-equilibrium. The porous medium consists of macro pores, and in the solid skeleton are cracks or fissures which give rise to micro pores. The temperatures in the solid skeleton and in the fluids in the macro and micro pores are all allowed to be...
متن کاملFO(C) and Related Modelling Paradigms
Recently, C-LOG was introduced as a language for modelling causal processes. Its formal semantics has been defined, but the study of this language is far from finished. In this paper, we compare C-LOG to other declarative modelling languages. More specifically, we compare to first-order logic (FO), and argue that C-LOG and FO are orthogonal and that their integration, FO(C), is a knowledge repr...
متن کاملThe geodynamics of lithospheric extension
Article history: Lithospheric extension is a f Received 19 May 2008 Accepted 22 July 2008 Available online 26 July 2008
متن کاملGrounding FO and FO(ID) with Bounds
Grounding is the task of reducing a first-order theory and finite domain to an equivalent propositional theory. It is used as preprocessing phase in many logic-based reasoning systems. Such systems provide a rich first-order input language to a user and can rely on efficient propositional solvers to perform the actual reasoning. Besides a first-order theory and finite domain, the input for grou...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Geophysical Journal International
سال: 1993
ISSN: 0956-540X,1365-246X
DOI: 10.1111/j.1365-246x.1993.tb01475.x